منابع مشابه
5 Conclusion and Future Directions
We have introduced fast and eeective k-way partitioning solutions for the two regimes k n and k = (n). Our contributions include a new \partitioning-speciic" net model used in constructing the Laplacian of the netlist, the use of fast Lanczos implementations to compute the d-dimensional geometric embedding eeciently, and a careful choice of geometric clustering objectives and algorithms. We bel...
متن کامل5. Conclusion and Future Directions
A new declarative semantics for logic languages. In R. Optimizations of bottom-up evaluation with non-ground terms. In Miller 15], pages 557{574. 19 orthogonal to the type of program to which memoing is applied. With some care, they can be used in the context of full Prolog, speciied as we have suggested by a programmer controlled directive. The practicality of the special case of ground, multi...
متن کامل4 Conclusion and Future Directions
interface language could be developed for other languages such as Verilog or even a Larch-based speciication. A parser would be developed that translates the VSPEC interface for each of these languages into a general abstract syntax tree. Constraint checking and other analysis could be performed on the general AST independent of the original language of the speciication. Tools to synthesize des...
متن کامل6 Conclusion and Future Work
The construction of R, the process encapsulating the timing information, is not as eecient as it could be. Any method for making timing veriication more eecient, such as partial order reductions, could in principle be incorporated into our current scheme. We believe that our work will be useful in applications such as asynchronous circuits and hardware software co-design, where abstract descrip...
متن کامل7 Conclusion and Future Work
15] A. Cumani. ESP-A package for the evaluation of stochastic Petri nets with phase-type distributed transitions times. modeling of an automated manufacturing system with deterministic and stochastic Petri nets. net analysis of a replicated le system.mated generation and analysis of Markov reward models using Stochastic Reward Nets. 16 of (000111; 1), which is set to seven. Then, we can solve t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Cancer Journal
سال: 2008
ISSN: 1528-9117
DOI: 10.1097/ppo.0b013e3181867617